
function execute(string)
{
	document.getElementById("output").innerHTML += "<br>" + string;
}